The Invariant Design Pattern in Rust
yequalscode.com·1d·
Discuss: r/programming
🔵TypeScript
Speed up unit tests with paralllel GitHub Actions
ohdear.app·2h·
Discuss: Hacker News
⚛️React.js
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔵TypeScript
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·2h·
Discuss: Hacker News
🔵TypeScript
A production-only bug? How did you find about it and how did you fix it?
reddit.com·1h·
Discuss: r/webdev
🧩WebAssembly
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·7h·
Discuss: Hacker News
🔗Interledger
I made Doddle, a tiny yet feature-packed (async) iteration toolkit!
github.com·1d·
Discuss: r/javascript
🔵TypeScript
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
🔵TypeScript
Qwen3 Coder vs. Kimi K2 vs. Sonnet 4 Coding Comparison (Tested on Qwen CLI)
composio.dev·9h·
Discuss: r/LocalLLaMA
🤖AI Agents
Encapsulated Collaboration: Using Closures to Extend Class Behavior Without Violating Interface Boundaries [OC]
medium.com·8h·
Discuss: r/programming
🔵TypeScript
Need help on a Business Rule Engine
reddit.com·15h·
Discuss: r/node
🟢Node.js
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·2h·
Discuss: Hacker News
🤖AI Agents
The hiring test that defeated AI
bitecode.dev·6h·
Discuss: Hacker News
🔵TypeScript
Paralegal: Practical Static Analysis for Privacy Bugs
cs.brown.edu·1d·
Discuss: Hacker News
🔵TypeScript
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🔵TypeScript
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·1d
🔵TypeScript
Rails ViewComponent 4.0.0
github.com·1d·
Discuss: Hacker News
⚛️React.js
Adopting Claude Code: Riding the Software Economics Singularity
preset.io·14h·
Discuss: Hacker News
🤖AI Agents
How the Lean language brings math to coding and coding to math
amazon.science·3h·
Discuss: Hacker News
🎨WebGL
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·3d·
Discuss: Lobsters, Hacker News
🔵TypeScript